type T =
    static member M(?a, ?b) = ()
